<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<html>
<head>
<!--

  @(#)package.html	0.10 09/03/05
  
  Copyright 2009 Hannes Widmoser
  Licensed under the Apache License, Version 2.0 (the "License");
  you may not use this file except in compliance with the License.
  You may obtain a copy of the License at 
  	
  	http://www.apache.org/licenses/LICENSE-2.0 
  
  Unless required by applicable law or agreed to in writing, software
  distributed under the License is distributed on an "AS IS" BASIS, 
  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  See the License for the specific language governing permissions and 
  limitations under the License. 

-->
</head>
<body bgcolor="white">

	Contains all of the classes and interfaces, that together form a 
	framework for building and evaluating first order logical expressions
	on multi sequences. However, since the logical expressions that are
	supported are tied to the concept of a multi sequence there are certain
	differences to common first order logic. In contrast to first order logic
	which is untyped this framework distinguishes between the set of chords
	(represented through an array of integers) and the set of integers themselves.
	So there are Predicates which operate on integers as well as on chords. 
	Furthermore the interpretation of the quantifiers (for all, there exists) 
	is quite different to the classical semantic in first order logic. Please
	refer to {@link AllLogicalExpression}, {@link AllIntLogicalExpression},
	{@link ExistsLogicalExpression}, {@link ExistsIntLogicalExpression} for a
	detailed description of their behaviour.
	<p> Free variables in (sub-)formulas are represented by the class environment.

<h2>Related Documentation</h2>

For overviews, tutorials, examples, guides, and tool documentation, please see:
<ul>
  <li><a href="">##### REFER TO NON-SPEC DOCUMENTATION HERE #####</a>
</ul>

<!-- Put @see and @since tags down here. -->

</body>
</html>
